Lagrange's theorem in discrete mathematics